Input Device Selection and Interaction Configuration with ICON

International audienceThis paper describes ICON, a novel editor designed to configure a set of input devices and connect them to actions into a graphical interactive application. ICON allows physically challenged users to connect alternative input devices and/or configure their interaction techniques according to their needs. It allows skilled users - graphic designers or musicians for example - to configure any ICON aware application to use their favorite input devices and interaction techniques (bimanual, voice enabled, etc.). ICON works with Java Swing and requires applications to describe their interaction styles in terms of ICON modules. By using ICON, users can adapt more deeply than before their applications and programmers can easily provide extensibility to their applications

Enhancing students’ motivation to learn software engineering programming techniques: a collaborative and social interaction approach

To motivate students to study advanced programming techniques, including the use of architectural styles such as the model–view–controller pattern, we have con-ducted action research upon a project based-learning approach. In addition to collabo-ration, the approach includes students’ searching and analysis of scientific documents and their involvement in communities of practice outside academia. In this paper, we report the findings of second action research cycle, which took place throughout the fourth semester of a six-semester program. As with the previous cycle during the pre-vious academic year, students did not satisfactorily achieve expected learning out-comes. More groups completed the assigned activities, but results continue to reflect poor engagement in the communities of practice and very low performance in other learning tasks. From the collected data we have identified new approaches and recom-mendations for subsequent research.Fundação para a Ciência e Tecnologia (FCT), Portugal, for Ph.D. Grants SFRH/BD/91309/2012 and SFRH/BD/87815/201

Occurrence of Regulated and Emerging Iodinated DBPs in the Shanghai Drinking Water

10.1371/journal.pone.0059677PLoS ONE83

Developing GUI Applications in a Verified Setting

Although there have been major achievements in verified software, work on verifying graphical user interfaces (GUI) applications is underdeveloped relative to their ubiquity and societal importance.In this paper, we present a library for the development of verified, state-dependent GUI applications in the dependently typed programming language Agda. The library uses Agda's expressive type system to ensure that the GUI, its controller, and the underlying model are all consistent, significantly reducing the scope for GUI-related bugs.We provide a way to specify and prove correctness properties of GUI applications in terms of user interactions and state transitions. Critically, GUI applications and correctness properties are not restricted to finite state machines and may involve the execution of arbitrary interactive programs. Additionally, the library connects to a standard, imperative GUI framework, enabling the development of native GUI applications with expected features, such as concurrency.We present applications of our library to building GUI applications to manage healthcare processes. The correctness properties we consider are the following: (1) That a state can only be reached by passing through a particular intermediate state, for example, that a particular treatment can only be reached after having conducted an X-Ray. (2) That one eventually reaches a particular state, for example, that one eventually decides on a treatment. The specification of such properties is defined in terms of a GUI application simulator, which simulates all possible sequences of interactions carried out by the user

GroupScape: Integrating Synchronous Groupware and the World Wide Web

Synchronous groupware applications support people collaborating in real time over a distance. The world wide web supports asynchronous collaboration by allowing people to share distributed information repositories. This paper presents a new technique for creating applications that tightly integrate synchronous groupware with the world wide web. The key points of the technique are: two new HTML tags allow synchronous views to be embedded within WWW pages without programming; lightweight connection of WWW documents and applications is achieved through the use of constraints, and the use of the model-view-controller architecture allows easy integration of applications and WWW pages that were developed separately. This technique has been demonstrated in the context of the new multiuser GroupScape HTML browser, developed using the Clock groupware development toolkit